Five Weaknesses of ASPIC +
نویسنده
چکیده
This paper analyzes the ASPIC+ argumentation system. It shows that it is grounded on two monotonic logics which are not Tarskian ones. Moreover, the system suffers from five main problems: i) its logical formalism is ill-defined, ii) it may return undesirable results, iii) it builds on some counter-intuitive assumptions, iv) it violates some rationality postulates, and v) it allows counterintuitive instantiations.
منابع مشابه
Clarifying some misconceptions on the ASPIC+ framework
The ASPIC+ framework is a general framework for argumentationbased inference which aims to unifies two research strands: those in which arguments can only be attacked on their defeasible inferences and those in which arguments can only be attacked on their premises. The framework is meant to define a wide class of instantiations of abstract argumentation frameworks and to support the investigat...
متن کاملAbstract Rule-Based Argumentation
Rule-Based Argumentation Sanjay Modgil, Henry Prakken abstract. This chapter reviews abstract rule-based approaches to argumentation, in particular the ASPIC framework. In ASPIC and its This chapter reviews abstract rule-based approaches to argumentation, in particular the ASPIC framework. In ASPIC and its predecessors, going back to the seminal work of John Pollock, arguments can be formed by ...
متن کاملThe ASPIC+ framework for structured argumentation: a tutorial
This article gives a tutorial introduction to the ASPIC+ framework for structured argumentation. The philosophical and conceptual underpinnings of ASPIC+are discussed, the main definitions are illustrated with examples and several ways are discussed to instantiate the framework and to reconstruct other approaches as special cases of the framework. The ASPIC+ framework is based on two ideas: the...
متن کاملAccelerated Invariant Generation for C Programs with Aspic and C2fsm
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counter automata. The “accelerated” method improves precision by computing locally a precise overapproximation of a loop without using the widening operator. c2fsm is a C preprocessor that generates automata in the format re...
متن کاملArgumentation-Based Answer Set Justification
We suggest a method for justifying why a literal is or is not contained in the answer set of a logic program. This method makes use of argumentation theory, more precisely of stable ASPIC+ extensions. We describe a way to translate a logic program into an ASPIC+ argumentation theory and investigate the relation between answer sets of the logic program and stable extensions of the translated ASP...
متن کامل